This page intentionally left blank. LECTURE OUTLINE AND BIBLIOGRAPHY on SPECIFICATION AND VERIFICATION OF TELECOMMUNICATION SERVICES
نویسنده
چکیده
منابع مشابه
The B Formal Method Bibliography
In this paper we suggest to use the B formal method to model a protocol dedicated to smart cards. We use a pragmatic approach to prove the dynamic properties of the protocol by using historical variables to express the past. We check manually that those variables have been correctly updated in the different operations. With this approach we can avoid the use of a model checker to verify the dyn...
متن کاملNCGIA National Center for Geographic Information and Analysis Selected Annotated Bibliography On
Generally, there is a lack of concepts expressing the accuracy of the digital data base of spatial information systems. Usually some point measures of positional accuracy, for example the root mean square positional error (RMS) or the circular error probable (CEP), are the only information available on geometrical accuracy. But the user is rather interested in measures for accuracy of objects s...
متن کاملGains from diversification on convex combinations: A majorization and stochastic dominance approach
By incorporating both majorization theory and stochastic dominance theory, this paper presents a general theory and a unifying framework for determining the diversification preferences of risk-averse investors and conditions under which they would unanimously judge a particular asset to be superior. In particular, we develop a theory for comparing the preferences of different convex combination...
متن کاملImproved immunogenicity of tetanus toxoid by Brucella abortus S19 LPS adjuvant.
BACKGROUND Adjuvants are used to increase the immunogenicity of new generation vaccines, especially those based on recombinant proteins. Despite immunostimulatory properties, the use of bacterial lipopolysaccharide (LPS) as an adjuvant has been hampered due to its toxicity and pyrogenicity. Brucella abortus LPS is less toxic and has no pyrogenic properties compared to LPS from other gram negati...
متن کاملSteady electrodiffusion in hydrogel-colloid composites: macroscale properties from microscale electrokinetics.
A rigorous microscale electrokinetic model for hydrogel-colloid composites is adopted to compute macroscale profiles of electrolyte concentration, electrostatic potential, and hydrostatic pressure across membranes that separate electrolytes with different concentrations. The membranes are uncharged polymeric hydrogels in which charged spherical colloidal particles are immobilized and randomly d...
متن کامل